Representation of Spiking Neural P Systems with Anti-spikes through Petri Nets

نویسندگان

  • Venkata Padmavati Metta
  • Kamala Krithivasan
  • Deepak Garg
چکیده

Spiking Neural P(SN P) system with anti-spikes uses two types of objects called spikes and anti-spikes which can encode binary digits in a natural way. We propose a formal method based on Petri nets, which provides a natural and powerful framework to formalize SN P systems with anti-spikes. This enables the use of existing tools for Petri nets to study the computability and behavioural properties of SN P systems with anti-spikes.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Spiking Neural P systems and Petri nets

Spiking Neural P (SN P) system characterizes the movement of spikes among the neurons. Spikes have a similarity with tokens in Petri net where tokens (like spikes) are moved through net according to specific rules. This paper proposes the concept of spiking Petri nets, which are isomorphic to spiking neural P systems. It also gives algorithms to construct spiking Petri net for SN P system and v...

متن کامل

Modelling and analysis of spiking neural P systems with anti-spikes using Pnet lab

Petri Nets are promising methods for modelling and simulating biological systems. Spiking Neural P system with anti-spikes (SN PA systems) is a biologically inspired computing model that incorporates two types of objects called spikes and anti-spikes thus representing binary information in a natural way. In this paper, we propose amethodology to simulate SN PA systems using a Petri net tool cal...

متن کامل

Protocol Modeling in Spiking Neural P systems and Petri nets

In this paper we present the relation between Spiking Neural P (SN P) systems and Petri nets by focusing on modeling simplex stop-and-wait protocol. The SN P system for the protocol is constructed and also translated it into equivalent Petri net with a corresponding semantics. It is then observed a direct correspondence between the Petri net representation of the proposed model and standard sol...

متن کامل

Parallel Programming in Spiking Neural P Systems with Anti-Spikes

In spiking neural P systems with anti-spikes, integers can be represented as the number of spikes/anti-spikes present in a neuron. Thus it is possible to represent increment, decrement, relational operations and assignment statements using spiking neural P systems. With these basic structures, it is also possible to represent programming language constructs like conditional, iterative and diffe...

متن کامل

Spiking Neural P Systems with Anti-Spikes as Transducers

In this paper, we consider spiking neural P systems with antispikes. Because of the use of two types of objects, the system can encode the binary digits in a natural way and hence represent the formal models more efficiently and naturally than the standard SN P systems. This work deals with the computing power of spiking neural P system with anti-spikes. It is demonstrated that, as transducers,...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010